1. Justification logic :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;
2. Justification logic :
پدیدآورنده: Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
